Cliff Jones: mencari di tapak web Z-Library

Akses percuma kepada pengetahuan dan budaya.

Don't use scam websites

Buku (55)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Cliff B Jones, Jayadev Misra, (eds.)

Tahun:

2021

Bahasa:

english

Fail:

PDF, 12.99 MB

5.0 / 0

english, 2021

2

Out of the Blue Too

Out of the Blue Too

Ian Cowie, Dim Jones, Chris Long, Cliff Spink

Tahun:

2014

Bahasa:

english

Fail:

EPUB, 2.72 MB

0 / 5.0

english, 2014

3

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Tahun:

2006

Bahasa:

english

Fail:

PDF, 4.94 MB

0 / 0

english, 2006

4

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer-Verlag Berlin Heidelberg

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

Tahun:

2005

Bahasa:

english

Fail:

PDF, 2.02 MB

0 / 0

english, 2005

5

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

Association for Computing Machinery

Cliff B. Jones, Jayadev Misra

Tahun:

2021

Bahasa:

english

Fail:

PDF, 12.99 MB

5.0 / 0

english, 2021

6

Communications of the ACM - April 2022

Communications of the ACM - April 2022

Cliff Jones, Jayadev Misra

Tahun:

2022

Bahasa:

english

Fail:

PDF, 13.35 MB

5.0 / 0

english, 2022

7

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Springer-Verlag Berlin Heidelberg

Stephen Brookes (auth.), Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

Tahun:

2005

Bahasa:

english

Fail:

PDF, 2.38 MB

0 / 0

english, 2005

8

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 5.37 MB

0 / 0

english, 2007

9

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 4.29 MB

0 / 0

english, 2007

10

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 5.29 MB

0 / 0

english, 2009

11

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Tahun:

2020

Bahasa:

english

Fail:

EPUB, 291 KB

4.0 / 1.0

english, 2020

12

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Springer-Verlag London

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 3.73 MB

0 / 0

english, 2010

13

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Tahun:

2020

Bahasa:

english

Fail:

AZW3 , 964 KB

4.0 / 1.0

english, 2020

14

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 6.60 MB

0 / 0

english, 2007

15

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 7.82 MB

0 / 0

english, 2007

16

Understanding Programming Languages

Understanding Programming Languages

Tahun:

2020

Bahasa:

english

Fail:

EPUB, 291 KB

0 / 0

english, 2020

17

Systematic Software Development Using VDM

Systematic Software Development Using VDM

Tahun:

1990

Bahasa:

english

Fail:

PDF, 969 KB

0 / 5.0

english, 1990

18

The Living History Anthology: Perspectives from ALHFAM

The Living History Anthology: Perspectives from ALHFAM

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst

Tahun:

2019

Bahasa:

english

Fail:

EPUB, 2.54 MB

0 / 5.0

english, 2019

19

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer-Verlag Berlin Heidelberg

Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 13.80 MB

0 / 5.0

english, 2011

20

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 7.62 MB

0 / 0

english, 2009

21

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Tahun:

2020

Bahasa:

english

Fail:

MOBI , 937 KB

0 / 0

english, 2020

22

Understanding Programming Languages

Understanding Programming Languages

Tahun:

2020

Bahasa:

english

Fail:

MOBI , 937 KB

4.0 / 0

english, 2020

23

Understanding Programming Languages

Understanding Programming Languages

Tahun:

2020

Bahasa:

english

Fail:

FB2 , 1.28 MB

4.0 / 0

english, 2020

24

The Living History Anthology

The Living History Anthology

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst,

Tahun:

2018

Bahasa:

english

Fail:

PDF, 6.90 MB

0 / 0

english, 2018

25

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Tahun:

2020

Bahasa:

english

Fail:

FB2 , 1.28 MB

4.0 / 0

english, 2020

26

Understanding Programming Languages

Understanding Programming Languages

Tahun:

2020

Bahasa:

english

Fail:

AZW3 , 964 KB

4.0 / 0

english, 2020

27

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Tahun:

2020

Bahasa:

english

Fail:

LIT , 770 KB

4.0 / 0

english, 2020

28

Understanding Programming Languages

Understanding Programming Languages

Tahun:

2020

Bahasa:

english

Fail:

LIT , 769 KB

0 / 0

english, 2020

29

Understanding Programming Languages

Understanding Programming Languages

Tahun:

2021

Bahasa:

english

Fail:

PDF, 2.16 MB

0 / 5.0

english, 2021

30

Understanding Programming Languages

Understanding Programming Languages

Tahun:

2020

Bahasa:

english

Fail:

PDF, 2.16 MB

0 / 0

english, 2020

31

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 7.64 MB

0 / 0

english, 2009

32

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Tahun:

1978

Bahasa:

english

Fail:

PDF, 14.97 MB

0 / 0

english, 1978

33

Understanding Programming Languages

Understanding Programming Languages

Springer Nature

Tahun:

2020

Bahasa:

english

Fail:

PDF, 2.15 MB

0 / 0

english, 2020

34

Understanding Programming Languages

Understanding Programming Languages

Tahun:

2020

Bahasa:

english

Fail:

PDF, 2.15 MB

0 / 0

english, 2020

35

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Springer International Publishing

Cliff Jones, Ji Wang, Naijun Zhan

Tahun:

2018

Bahasa:

english

Fail:

PDF, 9.62 MB

0 / 0

english, 2018

36

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

Springer-Verlag London

C. B. Jones, A. W. Roscoe (auth.), A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 3.96 MB

0 / 0

english, 2010

37

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 5.19 MB

0 / 0

english, 2012

38

Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Springer-Verlag Berlin Heidelberg

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 5.20 MB

0 / 0

english, 2009

39

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Springer International Publishing

Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.)

Tahun:

2014

Bahasa:

english

Fail:

PDF, 13.77 MB

0 / 0

english, 2014

40

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Tahun:

2006

Bahasa:

english

Fail:

PDF, 4.60 MB

0 / 0

english, 2006

41

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Denis Besnard, Cristina Gacek, Cliff Jones

Tahun:

2005

Bahasa:

english

Fail:

PDF, 2.17 MB

0 / 0

english, 2005

42

Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence

Steve J. Hodges, Cliff B. Jones (auth.), Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jörg Schek (eds.)

Tahun:

1996

Bahasa:

english

Fail:

PDF, 5.11 MB

0 / 0

english, 1996

43

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Tahun:

1978

Bahasa:

english

Fail:

DJVU, 1.81 MB

0 / 0

english, 1978

44

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.)

Tahun:

2005

Bahasa:

english

Fail:

PDF, 6.90 MB

0 / 0

english, 2005

45

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Tahun:

1987

Bahasa:

english

Fail:

DJVU, 4.46 MB

0 / 0

english, 1987

46

Proof in VDM: Case Studies

Proof in VDM: Case Studies

Springer-Verlag London

John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (eds.)

Tahun:

1998

Bahasa:

english

Fail:

PDF, 11.02 MB

0 / 0

english, 1998

47

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

Tahun:

1996

Bahasa:

english

Fail:

DJVU, 3.39 MB

0 / 0

english, 1996

48

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Springer-Verlag Berlin Heidelberg

Hermann Kopetz (auth.), Cliff B. Jones, John L. Lloyd (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 13.97 MB

0 / 0

english, 2011

49

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Tahun:

1987

Bahasa:

english

Fail:

PDF, 11.36 MB

0 / 0

english, 1987

50

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Tahun:

2012

Bahasa:

english

Fail:

PDF, 7.74 MB

0 / 0

english, 2012